#define USER_LED_R 17
#define USER_LED_G 16
#define USER_LED_B 25
// Defined RGB LED pins according to the XIAO RP2040 pin map

void setup() {
  // Configure RGB LED pins as output
  pinMode(USER_LED_R, OUTPUT);
  pinMode(USER_LED_G, OUTPUT);
  pinMode(USER_LED_B, OUTPUT);

  // Turn OFF green and blue channels (RGB LED is active LOW)
  digitalWrite(USER_LED_G, HIGH);
  digitalWrite(USER_LED_B, HIGH);
}

void loop() {
  // Blink red LED twice

  digitalWrite(USER_LED_R, LOW);   // ON (active LOW)
  delay(100);
  digitalWrite(USER_LED_R, HIGH);  // OFF
  delay(300);

  digitalWrite(USER_LED_R, LOW);   // ON
  delay(100);
  digitalWrite(USER_LED_R, HIGH);  // OFF
  delay(300);
}